Initial algebra - PDFSEARCH.IO - Document Search Engine

Initial algebra
Results: 96

#	Item
41	Theory and Applications of Categories, Vol. 26, No. 6, 2012, pp. 176–193. SYNTACTIC CHARACTERIZATIONS OF PROPERTIES OF CLASSIFYING TOPOSES OLIVIA CARAMELLO Abstract. We give characterizations, for various fragments of Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-03-06 13:54:00 Mathematics Topos Sheaf Grothendieck topology Representation theory Heyting algebra Initial and terminal objects Model theory Category theory Abstract algebra Sheaf theory
42	Theory and Applications of Categories, Vol. 29, No. 20, 2014, pp. 542–568. CONTINUOUS COHESION OVER SETS M. MENNI Abstract. A pre-cohesive geometric morphism p : E → S satisfies Continuity if the ∗ Add to Reading List Source URL: www.emis.de Language: English - Date: 2014-09-17 10:07:00 Mathematics Topos theory Topos Functors Sheaf Grothendieck topology Reflective subcategory Subobject classifier Initial and terminal objects Category theory Abstract algebra Sheaf theory
43	Theory and Applications of Categories, Vol. 27, No. 11, 2012, pp. 222–241. THE ∗-AUTONOMOUS CATEGORY OF UNIFORM SUP SEMI-LATTICES Dedicated to the memory of Heinrich Kleisli, 1930–2011. MICHAEL BARR, JOHN F. KENNI Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-12-13 12:49:00 Topological spaces Functors Category Coproduct *-autonomous category Grothendieck topology Initial and terminal objects Natural transformation Additive category Category theory Abstract algebra Mathematics
44	NOTES ON CATEGORIES AND FUNCTORS These notes collect basic definitions and facts about categories and functors that have been mentioned in the Homological Algebra course. For further reading about category theory, consu Add to Reading List Source URL: www.math.ku.dk Language: English - Date: 2009-03-10 14:40:05 Additive categories Homological algebra Morphisms Abelian category Functor category Derived functor Functor Initial and terminal objects Natural transformation Category theory Abstract algebra Functors
45	Theory and Applications of Categories, Vol. 1, No. 9, 1995, pp. 174{178. ON THE SIZE OF CATEGORIES PETER FREYD AND ROSS STREET Transmitted by Michael Barr Add to Reading List Source URL: www.maths.soton.ac.uk Language: English - Date: 2008-02-27 12:11:00 Sheaf theory Sheaf Natural transformation Topos Initial and terminal objects Equivalence relation Presheaf Equivalence of categories Grothendieck topology Category theory Abstract algebra Functors
46	Notes on the Chu construction and Recursion Gordon Plotkin January 9, 2005 1 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:03 Functor Adjoint functors Universal property Sheaf Coproduct Function Initial and terminal objects Limit Chu space Abstract algebra Mathematics Category theory
47	Who repeats algebra I, and how does initial performance relate to improvement when the course is repeated? Add to Reading List Source URL: ies.ed.gov Language: English - Date: 2014-11-24 12:00:41 Education reform Education ACT Algebra Foothills Middle School Mathematics education in the United States Education in the United States California Standardized Testing and Reporting (STAR) Program Education in California
48	Lecture 1: Motivating abstract nonsense Nilay Kumar May 28, 2014 This summer, the UMS lectures will focus on the basics of category theory. Rather dry and substanceless on its own (at least at first), category theory is Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2014-06-13 12:45:04 Homological algebra Homotopy theory Functor Galois connection Initial and terminal objects Coproduct Category Product Abelian category Category theory Abstract algebra Mathematics
49	Chapter 10 Introducing Homological Algebra Roughly speaking, homological algebra consists of (A) that part of algebra that is fundamental in building the foundations of algebraic topology, and (B) areas that arise natur Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2008-01-02 22:18:15 Morphisms Functors Additive categories Zero Zero morphism Category Initial and terminal objects Image Cokernel Abstract algebra Category theory Algebra
50	Package ‘bitops’ July 2, 2014 Version 1.0-6 Date 2013-08-17 Author S original by Steve Dutky initial R port and extensions by Martin Maechler; revised and modified by Steve Dutky Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 11:22:07 Binary arithmetic Boolean algebra Linear algebra Cksum Bitwise operation Exclusive or Euclidean vector Cyclic redundancy check Mask Algebra Mathematics Abstract algebra